De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti (1936) and Reichenbach (1935, 1944) on the one hand, and by Cooper ( Inquiry , 11 , 295–320, 1968) and Cantwell ( Notre Dame Journal of Formal Logic , 49 , 245–260, 2008) on the other. Here we provide the proof theory for the resulting logics and , using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: allows for algebraic completeness, but not for the construction of a canonical model, while fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects

De Finettian Logics of Indicative Conditionals Part I: Trivalent Semantics and Validity

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti (1936) and Reichenbach (1935, 1944). On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: one pairs de Finetti’s conditional (DF) with validity as the preservation of non-false values (TT-validity), but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table (CC) proposed by Cooper (Inquiry 11, 295–320, 1968) and Cantwell (Notre Dame Journal of Formal Logic 49, 245–260, 2008). In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties

Measuring vagueness and subjectivity in texts: from symbolic to neural VAGO

We present a hybrid approach to the automated measurement of vagueness and subjectivity in texts. We first introduce the expert system VAGO, we illustrate it on a small benchmark of fact vs. opinion sentences, and then test it on the larger French press corpus FreSaDa to confirm the higher prevalence of subjective markers in satirical vs. regular texts. We then build a neural clone of VAGO, based on a BERT-like architecture, trained on the symbolic VAGO scores obtained on FreSaDa. Using explainability tools (LIME), we show the interest of this neural version for the enrichment of the lexicons of the symbolic version, and for the production of versions in other languages.Comment: Paper to appear in the Proceedings of the 2023 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT

Trivalent Conditionals: Truth Conditions, Probability and Bayesian Inference

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals.} On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and probabilistic theory of conditionals with attractive results and predictions

Isabelle Drouet (ed.), Le bayésianisme aujourd’hui. Fondements et pratiques

Dans cet ouvrage collectif sur les fondements et les applications contemporaines du bayésianisme, la philosophe Isabelle Drouet, auteure d'un précédent livre sur l'analyse probabiliste de la causalité (Drouet, 2012), réunit quatorze contributions inédites par des scientifiques et des philosophes des sciences concernant la portée et la justification des méthodes bayésiennes dans les sciences contemporaines. Les contributions sont toutes de haute qualité scientifique, l'ouvrage est riche, et il..